Syntactic Theories in Practice
نویسندگان
چکیده
منابع مشابه
Syntactic Theories in Practice
The evaluation function of a syntactic theory is canonically defined as the transitive closure of (1) decomposing a program into an evaluation context and a redex, (2) contracting this redex, and (3) plugging the result in the context. Directly implementing this evaluation function therefore yields an interpreter with a quadratic time factor over its input. We present sufficient conditions over...
متن کاملOn n-Syntactic Equational Theories
We deene the n-syntactic theories as a natural extension of the syntactic theories. A n-syntactic theory is an equational theory which admits a nite presentation in which every proof can be performed with at most n applications of an axiom at the root,but no nite presentation in which every proof can be performed with at most n?1 applications of an axiom at the root. The n-syntactic theories in...
متن کاملsyntactic deviation in hafez poems
abstract the present study is concerned with the syntactic deviation in hafezs poetry. poems are known to be accompanied with various linguistic deviations. these deviations may be phonological, morphological and/or syntactic. the relatively high frequency of the cases of the syntactic deviation in hafezs poems makes this rhetorical feature as a main characteristic of his poetry. this thesis, ...
Working Memory and Theories of Syntactic Complexity
1 " I don't see any principled way to distinguish linguistics from neurolinguistics any more than one can distinguish chemistry from physical chemistry in principle. These may be useful distinctions for temporary purposes, but one looks forward to erosion of such boundaries as understanding progresses. My own view has always been that the part of the study of language relevant here is in princi...
متن کاملNeonatal Psychology: Theories and Practice
DOI: http://dx.doi.org/10.7322/jhgd.119236 The reality was that in the 1970s and still part of 1980s in the UK, parents were not permitted to visit their preterm babies for more than a few hours in the morning and later in the afternoon/evening. In addition they were not encouraged to handle/touch their babies for fear of infection. Situation was even more depressing in other parts of the world...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00297-x